Feeds to Scour
SubscribedAll
Scoured 77892 posts in 1.66 s
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
arxiv.org·4h
📊Graph Compilers
Preview
Report Post
Making a Language
thunderseethe.dev·11h
🔬programming language theory
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·17h
🔗Category Theory
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Harper: Free, Open Source Grammar Checker
writewithharper.com·7h·
Discuss: r/webdev
🔄Incremental Lexing
Preview
Report Post
Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
arxiv.org·1d
🪜Recursive Descent
Preview
Report Post
Explainer: Tree-sitter vs. LSP
lambdaland.org·1d
🌲Tree-sitter
Preview
Report Post
Datomic - Datomic at Clojure/Conj 2025
blog.datomic.com·1d
🌲Deforestation
Preview
Report Post
weitianxin/Awesome-Agentic-Reasoning
github.com·56m
🤖Abstract Machines
Preview
Report Post
Everything Moe
ianbarber.blog·1d·
Discuss: Hacker News
🔄Subinterpreters
Preview
Report Post
In Praise of APL (1977)
jsoftware.com·1h·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
I [[musttail]] You About a Tokenizer
neilhenning.dev·2d
📚Factor
Preview
Report Post
GNU C Language Manual
gnu.org·14h
🪄C Metaprogramming
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·21h·
Discuss: Hacker News
λLambda Calculus
Preview
Report Post
Models of generics and metaprogramming: Golang, Rust, Swift, D, and more
thume.ca·3d·
Discuss: Hacker News
🗂️Type Indexing
Preview
Report Post
New comment by pessimizer in "Nanolang: A tiny experimental language designed to be targeted by coding LLMs"
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Nanopasses
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·3d
🔗Lexical Scoping
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
🗂️Type Indexing
Preview
Report Post
Automatic compilation of a Pre-Qin philosophy lexicon via large language models
nature.com·1d
🔤Language Tokenizers
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help